Apresentaremos as possíveis aplicações pedagógicas das suas reflexões, como a utilização da imprecisão científica de Heisenberg e da concepção de técnica em Heidegger, a partir da análise histórico-filosófica dos seus escritos, tomando-os como fundamentação a necessária e significativa melhoria da educação técnico-científica.

Este artigo discute o papel da Sociologia na escola básica brasileira, que a despeito do arcabouço científico construído em sua trajetória, ainda consolida o seu espaço enquanto disciplina escolar. Nos últimos anos, com a obrigatoriedade da presença da Sociologia nos currículos escolares, novos desafios vêm sendo enfrentados pela disciplina. Um deles é fazer da Sociologia uma ferramenta para que os estudantes e a comunidade escolar possam ter um papel ativo no debate e na construção da realidade social, no que nos (...) arriscamos a denominar de uma Sociologia Escolar Pública . É com esse objetivo que desenvolvemos o projeto Redes Sociológicas, que articula as dimensões do ensino e da pesquisa na escola básica. (shrink)

Resenha do livro The Ethics of Environmentally Responsible Health Care.

Purpose: Performance measurement systems (PMS) in Nonprofit Organizations (NPOs) are more complex than in for-profit organizations. NPOs have an orientation towards social mission and values, and they consider not only organizational efficiency and viability, but also the social impact of the organization. This research provides a comprehensive synthesis of PMSs in NPOs. Design/methodology/approach: Using a literature review, supported by bibliometric and network analyses. A paper set of 240 articles related to this research field is examined. Topics that are the most (...) prevalent in this research area and their interrelationships are identified, presenting an outline of current efforts. Findings: Despite the descriptive analyses for the paper set, a framework is proposed for organizing the design-implementation factors of PMSs in nonprofit organizations, identifying the main requirements for their successful development. Originality/value: Investigation on performance measurement in nonprofit organizations is still in its early stages of development with many opportunities to further develop the field. Conceptual frameworks and models, as well as specific theories, are being generated for this field of research, and the process of adapting models from the general field of performance measurement is taking place. The meta-framework that organizes the main research topics of PMS in nonprofit organizations and the framework that consolidates factors that influence the design-implementation of PMSs in nonprofit organizations developed represents this paper contribution. (shrink)

No presente ensaio, discute-se o impacto do negacionismo na Educação escolar. Essa ideologia é baseada em falsos argumentos, cujos protagonistas negam evidências cientificamente comprovadas, como forma de fortalecer seus anseios pelo poder. A narrativa negacionista atinge pessoas que aceitam acriticamente e replicam esses argumentos como se fossem verdades absolutas. Um dos resultados da disseminação e aceitação dessa ideologia é o estímulo a ações extremistas, como vimos acontecer recentemente no Brasil. A negação fomenta intencionalmente os analfabetismos histórico, social e científico. As (...) pessoas "contaminadas" por essa ideologia extremista ignoram os argumentos lógicos e permanecem alheias ao avanço da Ciência. Acreditam em disparates, como o chamado “terraplanismo”; são disseminadores de informações falsas; promovem “cruzadas” antivacinação; defendem o uso de medicamentos ineficazes; e fomentam o descrédito da democracia. As ideias de Paulo Freire, que estimulam o cultivo do pensamento crítico e emancipatório, é o aporte teóricometodológico que norteia este ensaio, contextualizado na prática docente dos autores, que consideram a Educação como uma prática de liberdade. (shrink)

O objetivo deste artigo é analisar a ética do cuidado de enfermagem no tratamento de pacientes oncológicos. Optou-se pela pesquisa bibliográfica de abordagem qualitativa cuja metodologia foi dividida em etapas. Na primeira etapa, foi realizado um levantamento de artigos publicados, no período de 2000 a 2009, em periódicos do Scielo, utilizando os descritores: saúde/doença, enfermagem, ética do cuidado e oncologia. Esse levantamento culminou com a seleção de 28 artigos, 21 dos quais foram eleitos posteriormente para leitura aprofundada, assim como para (...) utilização no estudo. Na segunda etapa, foram explorados dados do campo, com a transcrição e análise de depoimentos de profissionais da enfermagem sobre a concepção de cuidado bem como de dados sobre pacientes oncológicos, acompanhados no período de 2007 e 2008. A pesquisa e suas exigências protocolares, sob o número CAAE - 0147.0.213.000-10, foi aprovada pelo Comitê de Ética da PUC Minas em 31 de agosto de 2010. O referencial teórico foi composto por autores que discutem o cuidado na perspectiva filosófica e teológica - Boff (2001, 2005 e 2006), Efken (2005) - e autores da área da saúde oncológica, entre eles, Carvalho et al. (2002), Popim & Boemer (2005), Visentin, Labronici & Lenardt (2007) e Araújo et al. (2009). Os resultados evidenciaram o cuidado na enfermagem como princípio ético essencial, assim como a necessidade de investimentos em políticas públicas de saúde no Brasil, que efetivem o trabalho de prevenção, educação e cura do câncer. Palavras-Chave: Saúde/Doença; Enfermagem; Ética do cuidado; Oncologia.The objective of this article is to analyze the nursing care in the treatment of oncology patients. We have opted for bibliographical research of qualitative nature, a methodology divided into stages. In the first stage we gathered articles in a publication called Scielo from 2000 to 2009, which described: health/illness, nursing, ethics of care, and oncology. Through this process the selection of twenty-eight articles was accomplished, however only twenty-one articles were utilized in the production of this study. In the second stage field data were explored, we transcribed and analyzed the statements of nursing professionals on the conception of care and on oncology patients overseen by them in the period of 2007 to 2008. The research protocol and its requirements under the number CAAE - 0147.0.213.000-10, was approved by the Ethics Committee of PUC Minas on August 31, 2010. The theoretical support was provided by authors who discuss care in a philosophical and theological perspective: Boff (2001, 2005, and 2006), Efken (2005); and authors in the field of healthcare, among them Popim & Boemer (2005), Silva et. al , (2005), Souza et al. (2005), Visentin, et al. (2007), and Araújo, et. al. (2008). The results demonstrated the care in nursing as an essential ethical principal, as much as the necessity of investment in public health policies in Brazil, for the effective promotion of cancer prevention, education and cure. Key words : Health/Illness; Nursing; Ethics of Care; Oncology. (shrink)

O artigo visa discutir o papel que a obra de John Rawls possui para o projeto teórico de Rainer Forst. Trata-se de acompanharas principaisleituras que Forst realiza sobre esse autor e discutir algumas consequências que podem ser delas depreendidas para seu modelo crítico. Assim, em primeiro lugar, discute-se a tentativa de Forst em aproximar os critérios de reciprocidade e universalidade, de seu princípio de justificação, à teoria de Rawls, ao mesmo tempo em que acusa Rawls de que sua configuração da (...) posição original atribui conteúdos substantivos aos princípios de justiça, que, na verdade, só poderiam ser concebidos comoum princípio fundamental de justificação (I). Em seguida, observa-se a leitura que Forst realiza sobre o debate entre Habermas e Rawls, a fim de extrair uma alternativa a ambos. Novamente Forst faz um movimento de aproximação e crítica a Rawls (II). Em um terceiro momento, examina-se outra tentativa de aproximação e superação à obra de Rawls, mas dessa vezatravés da distinção entre duas imagens da justiça(III). Por fim, o artigo apresenta duas interpretações gerais sobe essas leituras: que existem certas constantes nos argumentos que unem e que pretendem superar Rawls; e que contém possíveis problemas,com consequências que ocasionam certos entraves para sua teoriaem sua pretensão de ser crítica. (shrink)

Mapeando brevemente alguns eventos desencadeados pelo período denominado, por alguns cientistas, como Antropoceno, este estudo busca estabelecer um observatório deste período através da ótica do campo das artes, do cinema e da filosofia. Pretende-se compreender como práticas artísticas podem ser concebidas de forma a sublinhar as incoerências referentes à intervenção humana no sistema e na atmosfera terrestre. Para tal, este estudo recruta trabalhos de artistas como Alice Miceli, Andrei Tarkovsky e Jacob Kirkegaard, em suas potencialidades de prevenção, educação e crítica (...) em relação a distintas implicações relacionadas ao desastre nuclear de Chernobyl. Assim, é compreendida a possibilidade de trabalhos de arte em atuar como revisita histórica e análise geo-histórica, bem como meios de potencializar críticas às injustiças provocadas pelo Antropoceno.Palavras-chave: Arte contemporânea; Antropoceno; Energia nuclear; Justiça Climática. (shrink)

O objetivo deste artigo é discutir a noção humiana de "crença", frequentemente vita como adendo "psicológico" à correta doutrina epistemológica do autor. Tenta-se sugerir que são partilha das obsessões da epistemologia contemporânea.

Considering the basic assumption that the modern Law and State theory does not only bear similarities, but also draws true epistemological parallels to theconstructions of Theology, Hans Kelsen intends to lay bare the ideological meaning that lies at the very core of the traditional dualism which constitutes Law and State into autonomous entities. Taking into account Kelsen´s original perceptions – which are seconded by more recent contributions from Claude Lefort and Hans Lindahl’s political and symbolic concepts and from Carl Schmitt’s (...) notions on political theology – our intention is now to demonstrate the highly conservative role played by the duality of the Law/State structure, whose aim is to remove, from under the sway of legal control, a considerable part of the State’s actions.Herebelow, therefore, we will analyse the very legitimacy of the so-called “Public Law,” which seems to point to a trend towards shunning the legal power regulation. Finally, based on the functional method pioneered by Ernst Cassirer, legal institutions such as “collective will” and “public interest” will be problematised, in order to ascertain whether they contain theological, conservative and authoritarian traits incompatible with the conceptual and substantial unity intrinsic to the Rule of Law. (shrink)

Este artigo tem como objetivo principal investigar a relação existente entre a percepção da felicidade dos brasileiros, sua satisfação com a vida e a satisfação com o regime democrático no período de 2017 a 2020. Nossa hipótese de trabalho postula que o declínio da felicidade e da satisfação com a vida, de uma forma geral, guarda relação de associação com a satisfação com a democracia e suas instituições. Assim, o artigo sugere que felicidade e democracia no Brasil são duas variáveis (...) associadas que ajudam a explicar em parte as fragilidades de nosso regime democrático e devem ser foco de atenção de nossas políticas públicas. A base empírica deste artigo é a sétima onda da Pesquisa Mundial de Valores (WVS, 2017-2020), por meio de pesquisa quantitativa, tipo survey, que utilizaremos para demonstrar nosso argumento. (shrink)

Compreender a violência na sociedade contemporânea requer o mapeamento dos fatores geradores de atos violentos bem como sua prevenção por meio de políticas públicas e de processos educacionais. Este artigo traz algumas reflexões sobre a racionalidade comunicativa e a violência escolar no contexto da crescente exclusão social e a crise de horizontes utópicos para a construção da educação e da formação de sujeitos de direitos. A abordagem metodológica está ancorada na perspectiva da análise de conteúdo de Laurence Bardin (2016), do (...) documento ‘Violência escolar e bullying: relatório sobre a situação mundial’, publicado pela Organização das Nações Unidas para a Educação, a Ciência e a Cultura (UNESCO). São analisadas as pretensões de validade das informações e dos dados considerados relevantes por meio da elaboração de dois eixos principais para analisar a violência escolar apresentada no relatório: a) definições e amparos legais; b) impactos e principais desafios sobre a violência escolar e o bullying. Nessa perspectiva, recorreremos à Racionalidade Comunicativa, ponto central da Teoria do Agir Comunicativo, de Jürgen Habermas, para refletir sobre os achados e saber quais as bases consideradas relevantes para se construir uma educação para a paz alicerçada no diálogo e no entendimento. (shrink)

This article proposes a reflection on the persistence of Nazi jurisdictional models in contemporary legal theory, briefly comparing the work of authors such as Wolf, Larenz, Schmitt, Dworkin and Alexy. It aims to demonstrate the authoritarian and radically undemocratic character of certain theoretical constructions used in adjudication, particularly in Brazil. For this purpose, three representative judicial decisions from 2016 are analyzed, highlighting typical structural features of Nazi legal theory which remain accepted by current legal theory, such as the disregard for (...) legality, the personification of the community as judge and the appeal to social values which are taken as self-evident. (shrink)

Primeiramente fazemos uma breve discussão sobre a concepção defendida por Gramsci acerca do que caracteriza um intelectual, bem como sua função social nas distintas formações sociais, como desdobramento de tal reflexão do autor sardo, apresentamos sua conhecida distinção, operada no “Caderno 12”, entre os „intelectuais tradicionais‟ e os „intelectuais orgânicos‟ destacando sua práxis social. Por fim, valendo-nos dos escritos do autor no “Caderno 13”, ressaltamos a importância do intelectual orgânico na constituição do partido revolucionário.First we give a brief discussion about (...) the concept advocated by Gramsci about what characterizes an intellectual as well as its social function in different social formations, as a consequence of such a reflection of the author Sardinian, presented his famous distinction, operated in the "Notebook 12" between the 'traditional intellectuals' and 'organic intellectuals' highlighting its social praxis. Finally, drawing upon the writings of the author in "Notebook 13", highlight the importance of the organic intellectual in the constitution of the revolutionary party. (shrink)

We present the system SUBSEXPL used for simulating and comparing explicit substitutions calculi. The system allows the manipulation of expressions of the λ-calculus and of three different styles of explicit substitutions: the λσ, the λse and the suspension calculus. A variation of the suspension calculus, which allows for combination of steps of β-contraction is included too. Implementations of the η-reduction are provided for each style. Other explicit substitutions calculi can be easily incorporated into the system due to its modular structure. (...) The uses of the system include: the visualization of the contractions of the λ-calculus in de Bruijn notation, and of guided one-step reductions as well as normalization via each of the associated substitution calculi. Many useful facilities are included: reductions can be easily recorded as text files, LATEX outputs can be generated and several examples for dealing with arithmetic operations and computational operators such as conditionals and repetitions in the λ-calculus are available. The system can be executed over Emacs using the x-symbol mode in such a way that λ-terms and terms of the explicit substitutions calculi are represented in its natural syntax avoiding the necessity of repeatedly generating LATEX outputs. The system has been of great help for systematically comparing explicit substitutions calculi, as well as for understanding properties of explicit substitutions such as the Preservation of Strong Normalization. In addition, it has been used for teaching basic properties of the λ-calculus such as: computational adequacy, the usefulness of de Bruijn's notation and of making explicit substitutions in real implementations. (shrink)

We generalize a previous result about dynamically consistent menu preferences to the case where preferences are not necessarily complete. We show that, as it is the case when preferences are complete, a subjective state space version of dynamic consistency is linked to a comparative theory of preference for flexibility. In words, an objective signal is interpreted as an event in the agent’s subjective state space and the agent acts in a dynamically consistent way after that if and only if we (...) can attribute all the differences between the agent’s preferences before and after the signal to the fact that the agent values flexibility more before the signal than after. (shrink)

O objetivo deste artigo é discutir o modo como Husserl desenha a originalidade da subjetividade transcendental, frente à sua homônima psicológica. Se é certo que a noção de “imanência autêntica” pode apontar para as diferentes fronteiras entre o transcendental e o psicológico, resta que por si só ela não permite decidir nada quanto ao “modo de ser” transcendental, em sua diferença face ao “mundano”. Sendo assim, procura-se reconstituir alguns dos momentos centrais do esforço husserliano para construir um conceito de “subjetivo” (...) e de “subjetividade” que não se confunda mais com o “psíquico” da psicologia tradicional. (shrink)

resumo O objetivo deste artigo é discutir o modo como Husserl desenha a originalidade da subjetividade transcendental, frente à sua homônima psicológica. Se é certo que a noção de “imanência autêntica” pode apontar para as diferentes fronteiras entre o transcendental e o psicológico, resta que por si só ela não permite decidir nada quanto ao “modo de ser” transcendental, em sua diferença face ao “mundano”. Sendo assim, procura-se reconstituir alguns dos momentos centrais do esforço husserliano para construir um conceito de (...) “subjetivo” e de “subjetividade” que não se confunda mais com o “psíquico” da psicologia tradicional. palavras-chave subjetividade – psique – fenômeno – noema – transcendental. (shrink)

Este trabalho pretende comentar a doutrina que Merleau-Ponty expõe, em seus distintos períodos, sobre o que caracteriza a obra clássica e sua interpretação. Aponta-se como pressupostos dessa doutrina a admissão de uma certa filosofia da linguagem, bem como de uma particular teoria da produtividade. Em função disso, pergunta-se se, efetivamente, foi feita, ali, uma crítica radical da "filosofia da consciência", como usualmente se supõe.  .

This book addresses the issue of determinism in Avicenna and Averroes through an analysis of their views on chance, matter and divine providence. It sets the debate against the philosophical/historical background of Aristotelianism, Neoplatonism and Islamic theology.

Lean is a new open source theorem prover being developed at Microsoft Research and Carnegie Mellon University, with a small trusted kernel based on dependent type theory. It aims to bridge the gap between interactive and automated theorem proving, by situating automated tools and methods in a framework that supports user interaction and the construction of fully specified axiomatic proofs. Lean is an ongoing and long-term effort, but it already provides many useful components, integrated development environments, and a rich API (...) which can be used to embed it into other systems. It is currently being used to formalize category theory, homotopy type theory, and abstract algebra. We describe the project goals, system architecture, and main features, and we discuss applications and continuing work. (shrink)

Formal verification involves the use of logical and computational methods to establish claims that are expressed in precise mathematical terms. These can include ordinary mathematical theorems, as well as claims that pieces of hardware or software, network protocols, and mechanical and hybrid systems meet their specifications. In practice, there is not a sharp distinction between verifying a piece of mathematics and verifying the correctness of a system: formal verification requires describing hardware and software systems in mathematical terms, at which point (...) establishing claims as to their correctness becomes a form of theorem proving. Conversely, the proof of a mathematical theorem may require a lengthy computation, in which case verifying the truth of the theorem requires verifying that the computation does what it is supposed to do. The gold standard for supporting a mathematical claim is to provide a proof, and twentieth-century developments in logic show most if not all conventional proof methods can be reduced to a small set of axioms and rules in any of a number of foundational systems. With this reduction, there are two ways that a computer can help establish a claim: it can help find a proof in the first place, and it can help verify that a purported proof is correct. Automated theorem proving focuses on the “finding” aspect. Resolution theorem provers, tableau theorem provers, fast satisfiability solvers, and so on provide means of establishing the validity of formulas in propositional and first-order logic. Other systems provide search procedures and decision procedures for specific languages and domains, such as linear or nonlinear expressions over the integers or the real numbers. Architectures like SMT combine domain-general search methods with domain-specific procedures. Computer algebra systems and specialized mathematical software packages provide means of carrying out mathematical computations, establishing mathematical bounds, or finding mathematical objects. A calculation can be viewed as a proof as well, and these systems, too, help establish mathematical claims. Automated reasoning systems strive for power and efficiency, often at the expense of guaranteed soundness. Such systems can have bugs, and it can be difficult to ensure that the results they deliver are correct. In contrast, interactive theorem proving focuses on the “verification” aspect of theorem proving, requiring that every claim is supported by a proof in a suitable axiomatic foundation. This sets a very high standard: every rule of inference and every step of a calculation has to be justified by appealing to prior definitions and theorems, all the way down to basic axioms and rules. In fact, most such systems provide fully elaborated “proof objects” that can be communicated to other systems and checked independently. Constructing such proofs typically requires much more input and interaction from users, but it allows us to obtain deeper and more complex proofs. The Lean Theorem Prover aims to bridge the gap between interactive and automated theorem proving, by situating automated tools and methods in a framework that supports user interaction and the construction of fully specified axiomatic proofs. The goal is to support both mathematical reasoning and reasoning about complex systems, and to verify claims in both domains. (shrink)

The ethics of autonomous vehicles has received a great amount of attention in recent years, specifically in regard to their decisional policies in accident situations in which human harm is a likely consequence. Starting from the assumption that human harm is unavoidable, many authors have developed differing accounts of what morality requires in these situations. In this article, a strategy for AV decision-making is proposed, the Ethical Valence Theory, which paints AV decision-making as a type of claim mitigation: different road (...) users hold different moral claims on the vehicle’s behavior, and the vehicle must mitigate these claims as it makes decisions about its environment. Using the context of autonomous vehicles, the harm produced by an action and the uncertainties connected to it are quantified and accounted for through deliberation, resulting in an ethical implementation coherent with reality. The goal of this approach is not to define how moral theory requires vehicles to behave, but rather to provide a computational approach that is flexible enough to accommodate a number of ‘moral positions’ concerning what morality demands and what road users may expect, offering an evaluation tool for the social acceptability of an autonomous vehicle’s ethical decision making. (shrink)

Nesse ensaio destacamos alguns elementos do horizonte filosófico diltheyano para pensar a educação. Dilthey se insere no território da educação, via pedagogia, pois considerava que a filosofia representa um instrumento teórico que serve de guia para a ação social do homem ou, em outras palavras, para a atividade pedagógica. Segundo nossa perspectiva, a educação é o principal objetivo da filosofia, pois a formação humana tem culminância no filosofar e este é efeito daquela, além disso, a filosofia diltheyana faz sua reflexão (...) sobre pedagogia e sua cientificidade possível, tendo como contexto o confronto com o positivismo do século XIX e a fundação das ciências do espírito em contraposição às da natureza. É nesse sentido, que o problema da consciência histórica - e sua finitude, articula a autonomia da pedagogia, sem a influência do empirismo científico e as exigências da pedagogia tradicional. (shrink)

Estas reflexões têm como principal objetivo mostrar como a concepção do belo em Agostinho de Hipona é tributária da tradição platônico-aristotélica e das Escrituras. No que tange à primeira influência, a ênfase é colocada nas noções de simetria, de proporção, de forma, de unidade e, portanto, de belo. No que diz respeito às Escrituras, Agostinho considera em primeiro lugar o papel da criação e a ação de Deus no universo como o Ser a partir do qual todas as coisas se (...) mantêm harmônica e proporcionalmente vinculadas entre si. Neste universo, ao pôr o acento sobre o homem como a imagem e semelhança de Deus, o teólogo explora igualmente o conceito de participação, que também remete a Platão e às Escrituras. O texto termina apontando para o paradoxo, tipicamente estoico, do apesar de, isto é, apesar do mal, existe o bem, apesar do feio e do desgracioso, existe o belo. (shrink)

Estas reflexões têm como objetivo principal mostrar as críticas e os ataques que Nietzsche move contra a civilização contemporânea e, particularmente, contra a civilização alemã das últimas décadas do século XIX. Nas suas invectivas, o filósofo mira principalmente os chamados filisteus da cultura, a ciência e a diversidade de suas especializações, a imprensa e a ingerência do Estado prussiano na educação e na cultura do povo alemão. Ao mesmo tempo, Nietzsche coteja constantemente a civilização alemã, que ele vê como decadente, (...) e a cultura helênica da antiguidade clássica, que ele exalta e, para alguns, coloca como um ideal de civilização e sabedoria. Finalmente, é examinado o papel do filósofo e do Estado nas suas relações com a educação. Hegel e, antes dele, Kant, são considerados como submissos ao Estado, enquanto que Schopenhauer é enaltecido como um pensador livre de toda subserviência e apropriação. (shrink)

Resumo Tencionamos, nestas reflexões, analisar os conceitos spinozianos de Deus, do homem e da razão, para, a partir do caráter necessário que os permeia, interrogarmos se existiria também a possibilidade de uma liberdade humana no pensamento do autor da Ética. Se tal liberdade existe, ela estaria situada no próprio plano racional, o que, por sua vez, levantaria ingentes problemas. A mesma questão - a da possibilidade de uma liberdade, em Freud - estaria colocada na margem de ação que, até certo (...) ponto, ele assinala ao eu, por intermédio de sua nova divisão do aparelho psíquico, em Além do princípio de prazer e O eu e o isso. Avancemos desde já que, se a ênfase de Spinoza, no que diz respeito à liberdade, recai sobre a razão, em Freud o acento é colocado sobretudo na simbolização e na significação que a tensão do desejo pode acarretar. Portanto, o nosso objetivo não é o de mostrar, ou provar, qualquer vínculo de dependência de Freud vis-à-vis de Spinoza. A nossa intenção é, antes, fazer ressaltar as diferenças que os separam, no que concerne à questão da necessidade e da liberdade.This article begins with an analysis of the Spinozian concepts of God, man, and reason, as well as the necessary character that permeates them. Based on that, we will ask if there exists the possibility of human freedom in the thought of the author of Ethics. If such a freedom does really exist, it would be situated on the rational level, which would raise huge problems. The same question in Freud - that of the possibility of freedom - would be related to the action that, to a certain extent, he attributes to the ego in the context of his new division of the psychical apparatus in Beyond the Pleasure Principle and The Ego and the Id. But if Spinoza’s emphasis with respect to freedom is placed upon reason, in Freud the emphasis is placed principally on the symbolization and signification that desire can bring about. Our goal is not to show that there is any dependence of Freud on Spinoza. We rather intend to underscore the differences that separate them with reference to the question of necessity and freedom. (shrink)

Normal 0 21 false false false MicrosoftInternetExplorer4 Este trabalho objetiva assinalar as pressões sociais e os valores culturais que participam do processo de construção das identidades brasileiras na sociedade hipermoderna das grandes cidades por meio da análise de um representante dela, que é o universo publicitário. Irei descrever alguns dos resultados encontrados em minha tese de doutorado (2007) em que, ao analisar as estratégias emocionais de persuasão publicitá­rias mais utilizadas nas revistas de maior circulação do país, levantei os conteúdos ideológicos (...) empregados nesses anúncios e, neste momento quero refletir sobre os possíveis modos de convivência social promovi­dos pelas identidades que são ressaltadas. Os meios de comunicação social são fonte de influência e manutenção de modos de viver, logo representam material rico de reflexão para se compreender os impasses dos relacionamentos sociais contemporâneos. Palavras-chave: identidade, publicidade, sociedade, hipermodernidade. (shrink)

A presente dissertação tem como objetivo principal estudar as relações entre a depressão moderada a grave e a religiosidade nos sujeitos da contemporaneidade. Para isso, foram entrevistados e colhidos dados de onze pacientes através de instrumentos padronizados e validados de pesquisa. O nível de depressão também foi medido 60 a 90 dias depois, para se fazer correlações com o nível de melhora da depressão e o nível de religiosidade intrínseca. Os resultados mostraram que maior nível de envolvimento religioso medido pela (...) escala de religiosidade intrínseca não esteve implicado em maior melhora da depressão, nem em piora. Porém, constatou-se que maior nível de envolvimento religioso foi associado a menores níveis de depressão no início do estudo, de forma significativa. A partir de alguns referenciais da psicologia da religião, conclui-se que a religiosidade possui pouco ou nenhum efeito na melhora de pessoas com depressão moderada a grave. Entende-se que isso ocorre porque a religiosidade perdeu muito de sua força na contemporaneidade, além de fatores biológicos e psicológicos que tornam a depressão, depois que atinge certa gravidade, imune aos efeitos da religião. No entanto, como os sujeitos mais religiosos tenderam a ter menores níveis de depressão no início do estudo, conclui-se que se a religião não melhora pelo menos ela tem um efeito atenuante no surgimento do quadro, que se não fosse a religiosidade seria bem mais grave. Assim, a religiosidade de fato proporcionou aos sujeitos uma maneira eficaz de diminuir os sintomas depressivos, através do enfrentamento do estresse e fazendo com que a experiência depressiva tenha algum significado no crescimento espiritual do sujeito, através da sua ressignificação. Termina-se enfatizando a dimensão do cuidado espiritual, que poderá trazer mais qualidade no atendimento dos profissionais de saúde. (shrink)

O desafio deste trabalho será provocar o debate em torno da defesa de que a educação escolar tem possibilidades latentes para contribuir com a formação omnilateral, ainda que submetida aos ideais e condutas do sistema capitalista. Propõe-se identificar as possibilidades de se ampliar o papel da educação escolar brasileira, superando a condição inerente de reprodutora social e tornando-se promotora de uma formação omnilateral dos sujeitos. Objetivo deste trabalho é analisar o contexto atual da escola brasileira a fim de destacar os (...) espaços contraditórios que permitam uma formação omnilateral. A metodologia utilizada contempla os pressupostos de uma pesquisa qualitativa e bibliográfica. (shrink)

The long 19th century was a period of many developments and technical innovations in agriculture and animal biology, during which actors sought to incorporate new practices in light of new information. By the middle of the century, however, while heredity steadily became the dominant concept in animal husbandry, some policies related to livestock improvement in Brazil seemed to have been tailored following a climate-deterministic concept established in the mid-18th century by the French naturalist Georges-Louis Leclerc, the Comte de Buffon. His (...) theory of animal degeneration posited, among other things, the necessity of recurrent crossbreeding to preserve animal species living in nonnative environments from climate-induced degeneration. Although largely discredited by the early 19th century, the teachings of the French naturalist seem to have found supporters in a Brazilian program to modernize national agriculture through the application of the natural sciences. Herein I examine the revival of Buffon’s theories in that government-sponsored program to improve animal husbandry and breeding techniques, including actual applications of this theory in the real world. Ultimately, I argue that Buffon’s theory of degeneration was used to tailor public policies and funding for the improvement of domesticated animals in Brazil between 1856 and 1860. (shrink)

To be usable in practice, interactive theorem provers need to provide convenient and efficient means of writing expressions, definitions, and proofs. This involves inferring information that is often left implicit in an ordinary mathematical text, and resolving ambiguities in mathematical expressions. We refer to the process of passing from a quasi-formal and partially-specified expression to a completely precise formal one as elaboration. We describe an elaboration algorithm for dependent type theory that has been implemented in the Lean theorem prover. Lean’s (...) elaborator supports higher-order unification, type class inference, ad hoc overloading, insertion of coercions, the use of tactics, and the computational reduction of terms. The interactions between these components are subtle and complex, and the elaboration algorithm has been carefully designed to balance efficiency and usability. We describe the central design goals, and the means by which they are achieved. (shrink)

The past decade has seen an explosion of work on calculi of explicit substitutions. Numerous works have illustrated the usefulness of these calculi for practical notions like the implementation of typed functional programming languages and higher order proof assistants. It has also been shown that eta-reduction is useful for adapting substitution calculi for practical problems like higher order unification. This paper concentrates on rewrite rules for eta-reduction in three different styles of explicit substitution calculi: λσ, λse and the suspension calculus. (...) Both λσ and λse when extended with eta-reduction rules, have proved useful for solving higher order unification. We enlarge the suspension calculus with an adequate eta-reduction rule which we show to preserve termination and confluence of the associated substitution calculus and to correspond to the eta rules of the other two calculi. We prove that λσ and λse as well as λσ and the suspension calculus are non-comparable while λse is more adequate than the suspension calculus in simulating one-step beta-reduction. After defining the eta-reduction rule in the suspension calculus, and after comparing these three calculi of explicit substitutions , we then concentrate on the implementation of the rewrite rules of eta-reduction in these calculi. We note that it is usual practice when implementing the eta rule for substitution calculi, to mix isolated applications of eta-reduction with the application of other rules of the corresponding substitution calculi. The main disadvantage of this practice is that the eta rewrite rules so obtained are unclean because they have an operational semantics different from that of the eta-reduction of the λ-calculus. For the three calculi in question enlarged with adequate eta rules we show how to implement these eta rules. For the λse we build a clean implementation of the eta rule and we prove that it is not possible to follow the same approach for the λσ and λsusp. (shrink)

The main objective of this text is to analyze some of the ambiguities that characterize Augustine of Hippo’s position regarding the so-called pagan culture in general and Greek philosophy in particular. As a matter of fact, the author of Confessions is situated in a mid-term, which I identify by the expression “the paradox of between”, for he does not totally embrace the position of Justin Martyr, who identifies Christian wisdom with Greek philosophy, neither does he claim the other extreme position (...) of Tertullian, who sees an antagonism or an insuperable gap between “Christian wisdom” and “pagan wisdom”, or between faith and reason. In the perspective of this paradox, three major questions will be examined: (a) the relation between philosophy and Christian religion, (b) the problem of the “platonic philosophers”, (c) the concepts of recollection and memory. (shrink)

Background Doctors are increasingly faced with end-of-life decisions. Little is known about how medical students approach euthanasia. The objective of this study was to evaluate, among medical students and residents, the view on euthanasia and its variants; correlate such a view with empathy and religiosity/spiritualism; and with the stages of medical training in Brazil. Methods This is an exploratory cross-sectional study using an online questionnaire to be filled out on a voluntary basis among medical students and residents, consisting of: socio-demographic (...) data, an empathy questionnaire and questions with elaborate clinical cases that typify situations of the variants of euthanasia. Results From 1550 invitations, 273 volunteer participants responded (17.6%). The percentages of strong agreement/agreement on the concepts were: passive euthanasia (72.9%); active euthanasia (22.3%), orthothanasia (90.1%), dysthanasia (18.7%), assisted suicide (33%) and sedation (82.8%). Passive euthanasia, active euthanasia, dysthanasia and assisted suicide showed greater refusal with increasing length of medical training. Religious belief and degree of empathy did not significantly influence the opinion about the concepts. Strong agreement/agreement were: passive euthanasia (72.9%); active euthanasia (22.3%), orthothanasia (90.1%), dysthanasia (18.7%), assisted suicide (33%) and sedation (82.8%). Conclusions Passive euthanasia, active euthanasia, dysthanasia and assisted suicide showed greater refusal with increasing length of medical training. The external validation of our findings relies on the distinct legal, cultural, and religious frameworks found across various countries. (shrink)